On torsion points of locally definable groups in o-minimal structures
نویسنده
چکیده
In this paper we study the structure of m-torsion points of connected locally definable abelian groups in o-minimal expansions of fields. ∗Supported by the FCT grant SFRH/BPD/6015/2001 while a post-doctoral research fellow at the Mathematical Institute, University of Oxford. MSC: 03C64; 20E99.
منابع مشابه
A survey on groups definable in o-minimal structures
Groups definable in o-minimal structures have been studied for the last twenty years. The starting point of all the development is Pillay’s theorem that a definable group is a definable group manifold (see Section 2). This implies that when the group has the order type of the reals, we have a real Lie group. The main lines of research in the subject so far have been the following: (1) Interpret...
متن کاملO-minimal cohomology and definably compact definable groups
LetN an o-minimal expansion of a real closed field. We develop the cohomology theory for the category ofN -definable manifolds with continuous N -definable maps and use this to solve the Peterzil-Steinhorn problem [ps] on the existence of torsion points onN -definably compact N -definable abelian groups. Namely we prove the following result: Let G be an N -definably compact N -definably connect...
متن کاملThe Euler characteristic of definable groups
We show that in an arbitrary o-minimal structure the following are equivalent: (i) every infinite, definably compact, definably connected definable group G has o-minimal Euler characteristic E(G) zero; (ii) if H is a definable subgroup of a definably compact, definably connected, definable group G such that E(G/H) 6= 0, then G = ∪{gHg−1 : g ∈ G}; (iii) every infinite, definably compact, definab...
متن کاملCovers of Groups Definable in O-minimal Structures
We develop in this paper the theory of covers for locally definable groups in o-minimal structures.
متن کاملLocally polynomially bounded structures
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise im...
متن کامل